3

Safety-critical systems, formal methods and standards

Year:
1993
Language:
english
File:
PDF, 1.98 MB
english, 1993
6

The practice of formal methods in safety-critical systems

Year:
1995
Language:
english
File:
PDF, 1.37 MB
english, 1995
7

A theory of Orwellian specifications with NewThink

Year:
1995
Language:
english
File:
PDF, 1.30 MB
english, 1995
9

From safety analysis to software requirements

Year:
1998
Language:
english
File:
PDF, 330 KB
english, 1998
16

Collective Management of Copyright in Greece After the Implementation of Directive 2014/26/EU

Year:
2020
Language:
english
File:
PDF, 195 KB
english, 2020
22

1-Oxa-3-cyclooctin

Year:
1990
Language:
german
File:
PDF, 389 KB
german, 1990
23

Synthese und Eigenschaften von 1-Thia-2-cyclooctin

Year:
1989
Language:
german
File:
PDF, 686 KB
german, 1989
24

Integration in software intensive systems

Year:
1999
Language:
english
File:
PDF, 332 KB
english, 1999
25

The formal specification of safety requirements for storing explosives

Year:
1993
Language:
english
File:
PDF, 1.85 MB
english, 1993
26

Gordon's computer: A hardware verification case study in OBJ3

Year:
1994
Language:
english
File:
PDF, 2.13 MB
english, 1994
30

Assessment of selenium mineralization and availability from catch crops

Year:
2011
Language:
english
File:
PDF, 601 KB
english, 2011
31

Decomposition in Real-Time Safety-Critical Systems

Year:
1998
Language:
english
File:
PDF, 115 KB
english, 1998
35

The design of a rewrite rule interpreter from algebraic specifications

Year:
1987
Language:
english
File:
PDF, 1.02 MB
english, 1987
37

Formal requirements analysis of an avionics control system

Year:
1997
Language:
english
File:
PDF, 214 KB
english, 1997
49

Guest Editors' Introduction: Dependable Agent Systems

Year:
2004
Language:
english
File:
PDF, 627 KB
english, 2004